1. $\mathbb{N}$
\\[0ex]$\vdash$  (0 $\geq$ 0 ) $\in$ $\mathbb{P}_{1}$